- formal layout description language
- мова формального опису топології
English-Ukrainian dictionary of microelectronics. 2013.
formal layout description language
Смотреть что такое "formal layout description language" в других словарях:
Hardware description language — In electronics, a hardware description language or HDL is any language from a class of computer languages and/or programming languages for formal description of electronic circuits. It can describe the circuit s operation, its design and… … Wikipedia
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Domain-specific language — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Burmese language — Burmese မြန်မာစာ (written Burmese) မြန်မာစကား (spoken Burmese) Pronunciation IPA: … Wikipedia
APL (programming language) — APL Paradigm(s) array, functional, structured, modular Appeared in 1964 Designed by Kenneth E. Iverson Developer Kenneth E. Iverson … Wikipedia
Markup language — Example of RecipeBook, a simple markup language based on XML for creating recipes. The markup can be converted to HTML, PDF and Rich Text Format using a programming language or XSL. A markup language is a modern system for annotating a text in a… … Wikipedia
Computer-assisted language learning — (CALL) is succinctly defined in a seminal work by Levy (1997: p. 1) as the search for and study of applications of the computer in language teaching and learning .[1] CALL embraces a wide range of ICT applications and approaches to teaching… … Wikipedia
Generative Modelling Language — In generative computer programming, the Generative Modelling Language (GML) is a very simple programming language for the concise description of complex 3D shapes. It follows the Generative Modelling paradigm, where complex datasets are… … Wikipedia
OpenType — Filename extension .otf, .ttf Type code OTTO Uniform Type Identifier public.opentype font Developed by Microsoft Adobe Systems Latest release 1.6 … Wikipedia
Electronic design automation — (EDA) is the category of tools for designing and producing electronic systems ranging from printed circuit boards (PCBs) to integrated circuits. This is sometimes referred to as ECAD (electronic computer aided design) or just CAD. (Printed… … Wikipedia
Construction and Analysis of Distributed Processes — Developer(s) the INRIA VASY team Initial release 1986, 24–25 years ago Stable release … Wikipedia
